Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets
نویسندگان
چکیده
This paper presents the EXHOST-PIPE software: an extension of PIPE – Platform Independent Petri net Editor – that complies with our own specifications. The new version supports the two kinds of Petri nets we have developed: particle Petri nets and plan Petri nets. EXHOST-PIPE also supports colours, modularity, time, guards, differential equations. . . The Petri net player has been extended and specific algorithms (such as an estimation process and specific reduction rules) have been implemented as plug-in modules.
منابع مشابه
EXHOST-PIPE Playing Plan Petri Nets and Particle Petri Nets
This paper presents two demos with EXHOST-PIPE: first we present an application of the tool to model and animate a plan Petri net in order to supervise and control a team of robots; second we focus on the particle Petri net-based estimation of a hybrid system and the detection of behavioural inconsistencies between an aircraft and its crew.
متن کاملPIPE+ - A Modeling Tool for High Level Petri Nets
Petri nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows; however, they are not powerful to define data and system functionality. High level Petri nets were developed to...
متن کاملPIPE+Verifier - A Tool for Analyzing High Level Petri Nets
High level Petri nets (HLPNs) have been widely used to model complex systems; however, their high expressive power costs their analyzability. Model checking techniques have been exploited in analyzing high level Petri nets, but have limited success due to either undecidability problem or state explosion problem. Bounded model checking (BMC) is a promising analysis method that explores state spa...
متن کاملModeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets
One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...
متن کاملBounded Model Checking High Level Petri Nets in PIPE+Verifier
High level Petri nets (HLPNs) have been widely applied to model concurrent and distributed systems in computer science and many other engineering disciplines. However, due to the expressive power of HLPNs, they are more difficult to analyze. Exhaustive analysis methods such as traditional model checking based on fixed point calculation of state space may not work for HLPNs due to the state expl...
متن کامل